Beijing Institute of System Engineering, Beijing, China, National Key Laboratory of Science and Technology on Information System Security, Beijing, China;Beijing Institute of System Engineering, China, National Key Laboratory of Science and Technology on Information System Security, China
Web service;security architecture;Web service application;reverse engineering;common security requirement;new security implementation approach;security etc.;security flaw;security requirement;security situation
Academia Sinica, Beijing, People's Republic of China;Academy of Mathematics and Systems Sciences, Institute of Computing Technology, and Fudan University;Key Lab of Management, Decision and Information Systems, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China and Beijing Key Laboratory of Multimedia and Intell ...;Institute of Computing Technology, CAS Key Lab of IIP, China,Academy of Mathematics and Systems Science, CAS Key Lab of MADIS, China
requirements specification;shared requirements statement;automata theory;unsharp quantum logic;requirements statement;software requirements specification;sharp quantum logic;inconsistent requirements collection;inconsistent requirements specification;prioritized requirements specification
School of Electronic and Information Engineering, Beijing Jiaotong University, Beijing, China,School of Transportation Science and Engineering, Beihang University, Beijing, China
BDS B1 signal;BDS computation;BDS intermediate frequency signal;BDS satellite signal;BDS software receiver;BDS software receiverDevelopment;complete BDS software receiver;effective BDS;B1 signal acquisition;B1 signal acquisition method
Center for Advanced Computing Research and Key Lab of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, China,Graduate University of Chinese Acade ...;Institute of Computing Technology, CAS, University of Chinese Academy of Sciences, Beijing, China
energy consumption;energy saving;traffic engineering;energy-saving routing strategy;Energy-Efficient network routing;current centralized energy minimization;energy cost;energy efficiency;extra energy consumption;hop-by-hop energy
Center for Advanced Computing Research and Key Lab of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, China,Graduate University of Chinese Acade ...;Institute of Computing Technology, CAS, University of Chinese Academy of Sciences, Beijing, China
energy consumption;energy saving;traffic engineering;energy-saving routing strategy;Energy-Efficient network routing;current centralized energy minimization;energy cost;energy efficiency;extra energy consumption;hop-by-hop energy
Chinese Academy of Sciences, China, Beijing, China
parallel software-based NIDS solution;proposed design;relentless network link speed;GPU processor;commodity multi-core;significant challenge;hybrid parallel architecture;new parallel opportunity;scalable high-performance parallel design;NIDS Suricata
Beijing Univ. of Aeronautics and Astronautics, Beijing, China;Tsinghua University, Beijing, P.R. China;City University of New York, New York, NY;The authors are with the LMAM, School of Mathematical Sciences, Peking University, Beijing, China, 100871. Email: caik@tsinghua.edu.cn, Email: fengrq@math.pku.edu.cn, Email: zzheng@math.pku.edu ...;Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China;Department of Computer Science, Graduate Center, City University of New York, New York, USA 10016;Department of Computer Science, University of New York, New York, NY
software testing;software engineering;software testing process;software cybernetics;software component;software reliability;GUI software;observed software failure;software execution process;software system
Laboratory for Internet Software Technologies, Institute of Software, The Chinese Academy of Sciences, Beijing, China 100190 and Graduate University of Chinese Academy of Science, Beijing, China 1 ...;Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China and Graduate University of Chinese Academy of Sciences, Beijing, China
software process;process model;user story;software process simulation;traditional software process modeling;parameterized system;actual software project management;enactable software process model;quality software;software company
University of Southern California;Chinese Academy of Sciences, Beijing, China;Lab for Internet Software Technology, Institute of Software Chinese Academy of Sciences, ZhongGuanCun, Beijing, China 100190;Institute of Software, Beijing, China;Laboratory for Internet Software Technologies, Institute of Software, Beijing, CA, China
software data;software cost estimation;software effort datasets;software project;software system;trustworthy software;software development;software effort prediction;software organization;software process
State Power Economic Research Institute of SG, Beijing, China 100761;State Power Economic Research Institute of China, Beijing, China 100761;State Power Economic Research Institute of SG, Beijing, China;State Power Economic Research Institute of China, Beijing, China
electric power supply;Intelligent Engineering;power economy;residential power consumption;multi-agent system;government agent;market agent;resident agent;econometric model;hybrid social model